Report of ISHM '91

PIK Report No. 91

Anthropogenic climate change will affect the distribution and urgency of health risks around the world. However, the majority of adverse health impacts of climate change can be avoided by implementing suitable adaptation policies. Planned adaptation to the health impacts of climate change comprises a broad range of public health interventions. Most of these measures are not only effective in a ...

Phd. Activity Report: Oct.90 -july 91

Wasa Report 1/91 the Celsius Ring the Wasa Experiments

A superconducting solenoid for WASA. General project description and status (February 91) Abstract A thin walled superconducting warm bore solenoid with a central magnetic eld of 1.5 Tesla is being designed for the WASA 4 detector for particle physics experiments at the CELSIUS ring. The overall length of the solenoid is 550 mm, its inner and outer diameter are 490 mm and 650 mm respectively. T...

Chromatic Search Trees Revisited Institut F Ur Informatik | Report 91

Relaxed balancing of search trees was introduced with the aim of speeding up the updates and allowing a high degree of concurrency. In a relaxed version of a search tree the rebalancing operations are uncoupled from the updates and may be delayed. Using local transformations the rebalancing can be performed concurrently with updates and search operations. In this paper we revisit the rebalancin...

V&V of ISHM Software for Space Exploration

NASA has established a far-reaching and long-term program for robotic and manned exploration of the solar system, beginning with missions to the moon and Mars. Integrated System Health Management (ISHM) will be key to improving the reliability, operability and maintainability of many of the systems deployed in this endeavor. The requirements of the ISHM systems themselves will be subject to req...